Maude system - PDFSEARCH.IO - Document Search Engine

Maude system
Results: 21

#	Item
1	1 of 1 Rural-Urban Migration and Migrant Workers Sarah Maude Statistics - estimates Add to Reading List Source URL: geography.org.uk Language: English Human geography Demography Human migration Migrant workers Chinese law Hukou system Internal migration Demographics of China Family register Shanghai Migration in China Regional discrimination in China
2	1 of 7 Urbanisation and Urban Development Sarah Maude The biggest construction boom ever seen Add to Reading List Source URL: geography.org.uk Language: English Human geography Demography Urban planning Independent cities Chinese society Shanghai Hukou system Urban area Suburbanization Urban sprawl Megacity Urbanization
3	Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude Roberto Bruni, Andrea Corradini, Fabio Gadducci Dipartimento di Informatica, Universit` a di Pisa, Italy { bruni,andrea,gadducci}@ di. unipi. it Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Distributed computing architecture System Knowledge Systems science Authoring of adaptive hypermedia Artificial intelligence Science Autonomic computing
4	Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-12-12 14:02:10 Mathematics Logic in computer science Maude system Computability theory Abstraction Rewriting Predicate Philosophy Normal form Theoretical computer science Formal languages Programming language theory
5	Specifying and Analyzing Real-Time Object Systems in Real-Time Maude ¨ Peter C. Olveczky Department of Informatics, University of Oslo Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-09-06 09:03:13 Logic in computer science Model checking Formal methods Functional specification Rewriting Maude Petri net Maude system Theoretical computer science Software development Computer science
6	doi:[removed]j.entcs[removed] Add to Reading List Source URL: maude.sip.ucm.es Language: English - Date: 2005-07-25 06:30:34 Data types Abstract data types Maude system Functional languages Procedural programming languages Type theory Stack ATS ALGOL 68 Software engineering Computing Programming language theory
7	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-05 07:12:06 Modal logic Software engineering Logic Non-classical logic Maude system
8	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-06-10 06:16:57 Maude system Software engineering Computing
9	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 10:32:16 Maude system Software engineering Computing
10	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:35:36 Modal logic Software engineering Logic Non-classical logic Maude system